Publications

Publications de

Communications dans un congrès
  • Philippe Balbiani, Stéphane Demri

    Prefixed tableau systems for modal logics with enriched languages

    Dans : Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Japon, 01/01/97-31/12/97, M. Pollack (Eds.), International Joint Conferences on Artificial Intelligence, p. 190-195, janvier 1997.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par